#!/usr/bin/env bash
cd /Workspace
cp ${ROOTDIR}/php_extension_dir/ZendOptimizer.so ${PHP_EXTENSIONS}/ZendOptimizer.so

echo '[Zend Optimizer]' >> ${PHP_INI}
echo 'zend_extension=/tools/php/lib/php/extensions/ZendOptimizer.so' >> ${PHP_INI}
echo 'zend_optimizer.optimization_level=1' >> ${PHP_INI}
echo 'zend_optimizer.encoder_loader=0' >> ${PHP_INI} 
